Ehrenfeucht’s Lemma in Set Theory
نویسندگان
چکیده
منابع مشابه
A Set and Collection Lemma
A set S ⊆ V (G) is independent if no two vertices from S are adjacent. Let α (G) stand for the cardinality of a largest independent set. In this paper we prove that if Λ is a nonempty collection of maximum independent sets of a graph G, and S is an independent set, then • there is a matching from S − ⋂ Λ into ⋃ Λ− S, and • |S|+ α(G) 6 ∣∣∣⋂Λ ∩ S∣∣∣+ ∣∣∣⋃Λ ∪ S∣∣∣. Based on these findings we provi...
متن کاملHigman's Lemma in Type Theory
This thesis is about exploring the possibilities of a limited version of Martin-L of's type theory. This exploration consists both of metatheoretical considerations and of the actual use of that version of type theory to prove Higman's lemma. The thesis is organized in two papers, one in which type theory itself is studied and one in which it is used to prove Higman's lemma. In the rst paper, ...
متن کاملRegular hypergraphs, Gordon's lemma, Steinitz' lemma and invariant theory
Let D(n)(D(n, k)) denote the maximum possible d such that there exists a d-regular hypergraph (d-regular k-uniform hypergraph, respectively) on n vertices containing no proper regular spanning subhypergraph. The problem of estimating D(n) arises in Game Theory and Huckemann and Jurkat were the first to prove that it is finite. Here we give two new simple proofs that D(n), D(n, k) are finite, an...
متن کاملCategory Theory to Yoneda's Lemma
This development proves Yoneda's lemma and aims to be readable by humans. It only defines what is needed for the lemma: categories, func-tors and natural transformations. Limits, adjunctions and other important concepts are not included. There is no explanation or discussion in this document. See [O'K04] for this and a survey of category theory formalisations.
متن کاملFUZZY SOFT SET THEORY AND ITS APPLICATIONS
In this work, we define a fuzzy soft set theory and its related properties. We then define fuzzy soft aggregation operator that allows constructing more efficient decision making method. Finally, we give an example which shows that the method can be successfully applied to many problems that contain uncertainties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2018
ISSN: 0029-4527
DOI: 10.1215/00294527-2018-0007